perm filename FOO[W78,JMC] blob sn#339345 filedate 1978-03-08 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	complete recursive program
C00003 ENDMK
CāŠ—;
complete recursive program

can go from subgoal induction to induction assertion to iterative
program

duality is running backwards

parallel or existential quantifier, infinite orlist